Linear computations
نویسندگان
چکیده
منابع مشابه
Linear Logic and Local Computations
This work deals with the exponential fragment of Girard’s linear logic [Gir87] without the contraction rule. This logical system has a natural relation with the direct logic [OnKo85],[KeWe]. A new sequent calculus for this logic is presented in order to remove also the weakening rule and recover its behavior via a special treatment of the propositional constants; the process of cut-elimination ...
متن کاملMaximally and arbitrarily fast implementation of linear andfeedback linear computations
By establishing a relationship between the basic properties of linear computations and eight optimizing transformations (distributivity, associativity, commutativity, inverse and zero element law, common subexpression replication and elimination, constant propagation), a computer-aided design platform is developed to optimally speed-up an arbitrary instance from this large class of computations...
متن کاملSoftware Tools for Sparse Linear Algebra Computations
to my mother, my father, Daniele and Federica.
متن کاملQuantum matchgate computations and linear threshold gates
The theory of matchgates is of interest in various areas in physics and computer science. Matchgates occur, for example, in the study of fermions and spin chains, in the theory of holographic algorithms and in several recent works in quantum computation. In this paper, we completely characterize the class of Boolean functions computable by unitary two-qubit matchgate circuits with some probabil...
متن کاملScenario based Analysis of Linear Computations
In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of the system behavior. In order to solve it we suggest formalization of the notion of scenario and then discuss possible approaches to the classification of the computations.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Chemical Education
سال: 1953
ISSN: 0021-9584,1938-1328
DOI: 10.1021/ed030p163.4